(declare-const v1 Bool)
(declare-const v5 Bool)
(declare-const v9 Bool)
(declare-const r1 Real)
(declare-const r6 Real)
(declare-const r7 Real)
(declare-const r10 Real)
(declare-const v21 Bool)
(assert (not (exists ((q18 Bool) (q19 Bool)) (<= (/ r10 60297.59) r1 6.0))))
(assert (or v9 v1 v9))
(assert (or (distinct 203152.0 r6 r7 r10) v21 v5))
(check-sat)
